1. Logic Colloquium '82 :
پدیدآورنده : edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
2. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
3. Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Lambda calculus -- Congresses
رده :
QA
9
.
5
.
I58
1993
4. Typed Lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Lambda calculus-- Congresses
رده :
QA
9
.
5
.
I58
1995
5. Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
پدیدآورنده : Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Lambda calculus - Congresses
رده :
QA
9
.
5
.
I58
1995
6. Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
پدیدآورنده : Pawel Urzyczyn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
3461
7. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
9
.
5
.
I58
2001
8. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings
پدیدآورنده : Samson Abramsky )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2044
9. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
پدیدآورنده : Jean-Yves Girard )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1581
10. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
پدیدآورنده : Martin Hofmann )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2701
11. Typed lambda claculi and applications : International Conference on Typed Lam]b[ da Calculi and Applications, TLCA'93, March 16-18, 1993, Utrecht, the Netherlands: proceedings
پدیدآورنده : M. Bezem, J.F. Groote )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
664
12. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
پدیدآورنده : Philippe de Groote, J. Roger Hindley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210